Quantificateur existentiel

Définition

$\exists$ est appelé "quantificateur existentiel"
L'assertion $\exists x,A(x)$ est vraie si et seulement s'il existe un objet $x$ tq $A(x)$ est vraie
(Disjonction)

Formules

Négation

Négation : $${{\lnot(\exists x,A(x))}}\iff{{(\forall x,\lnot A(x)}})$$

Interprétation

$${{[\![\exists x.\varphi,\nu]\!]}}={{\max\{[\![\varphi,\nu[x=d]]\!]\mid d\in\mathcal D\} }}$$
(Fonction maximum)

Math'φsics

Formulaire de report

Définition

Formules

Négation

Interprétation